Abstract data types - PDFSEARCH.IO - Document Search Engine

Abstract data types
Results: 538

#	Item
501	Scrap your Nameplate (Functional Pearl) James Cheney Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-07-12 06:34:19 Type theory Lambda calculus Functional programming Data types Theoretical computer science Unification Generic programming Higher-order abstract syntax De Bruijn index Software engineering Mathematics Computing
502	Origins of our Theory of Computation on Abstract Data Types at the Mathematical Centre, Amsterdam, [removed]J V Tucker Department of Computer Science, University of Wales Swansea, Singleton Park, Swansea, Wales, SA2 8PP Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2004-03-23 04:26:27 Mathematics Programming language semantics Formal methods Formal sciences Denotational semantics Semantics of programming languages Programming language theory Axiomatic semantics Mathematical logic Theoretical computer science Logic in computer science Applied mathematics
503	Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler∗ Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A. Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2005-06-09 19:14:00 Data types Procedural programming languages C Standard Library Type theory Abstract interpretation Symbolic execution Printf format string C ALGOL 68 Computing Software engineering Computer programming
504	EXE: A System for Automatically Generating Inputs of Death Using Symbolic Execution Cristian Cadar, Paul Twohey, Vijay Ganesh, Dawson Engler Stanford University Computer Systems Laboratory {cristic, twohey, vganesh, engl Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2006-03-02 02:20:53 Data types Abstract interpretation Symbolic execution C++ Pointer C Type system Buffer overflow Sizeof Computing Software engineering Computer programming
505	Queuing Talking about things in order Children enjoy arranging objects in lines, straight or curved. Adults could build on this by making a traffic jam on a road play mat in order to enable the activity described below. Add to Reading List Source URL: nrich.maths.org Language: English - Date: 2013-01-02 06:09:58 Queue Business Probability and statistics Statistics Abstract data types Network performance
506	Developmental Science 11:[removed]), pp F 1 – F7 DOI: [removed]j[removed]00670.x Add to Reading List Source URL: www.wjh.harvard.edu Language: English - Date: 2008-06-09 09:30:36 Computing Design of experiments Experiment Research Map Container Triangle Symmetry Matrix Abstract data types Geometry Software engineering
507	PSTI RESEARCH LECTURE SERIES "SCIENTIFIC COMPUTING WITH FORTRAN 95" DR. VIKTOR K. DECYK RESEARCH PHYSICIST, UCLA Abstract The Plasma Science and Technology Institute (PSTI) at UCLA will host a Add to Reading List Source URL: exodus.physics.ucla.edu Language: English - Date: 2002-04-04 03:06:38 Data types Procedural programming languages Type theory Array programming languages Fortran Source code Subroutine Type conversion C Software engineering Computing Computer programming
508	Introduction to the Statistical Software R First Chapters, in Development Add to Reading List Source URL: stat.ethz.ch Language: English - Date: 2010-02-16 04:42:17 Linear algebra Data types Abstract algebra Functional languages Numerical linear algebra R MATLAB Vector space C Algebra Mathematics Software
509	prophecy Seeker Helpdesk Software from Prophecy User Guide Add to Reading List Source URL: www.prophecy.co.uk Language: English - Date: 2014-02-22 02:14:27 Help desk Service-level agreement Call management Computing Email Queue Technology Abstract data types Marketing Customer experience management
510	ISO/IEC JTC1/SC22/WG5 N1747 Coarrays in the next Fortran Standard John Reid, JKR Associates, UK October 31, 2008 Abstract Add to Reading List Source URL: www.g95.org Language: English - Date: 2008-11-06 12:06:38 Procedural programming languages Data types Primitive types Array programming languages Fortran Cross-platform software C Pointer Reference Computing Software engineering Computer programming

UPDATE